Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
771	Verifying Z Specifications with Z/Eves AI4FM kick-off meeting talk Andrius Velykis PhD student at Newcastle University, AI4FM project Supervised by Prof Cliff Jones Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Oxford University Computing Laboratory Z notation Eves First-order logic Zermelo–Fraenkel set theory Formal specification Metalogic Theorem prover Mathematical logic Formal methods Logic
772	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Proof theory Mathematical constructivism Predicate logic Boolean algebra Propositional calculus First-order logic Intuitionistic logic Well-formed formula Sequent Logic Mathematical logic Mathematics
773	Automated Theorem Proving Scott Sanner, Guest Lecture Topics in Automated Reasoning Thursday, Jan. 19, 2006 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-05-25 01:09:25 Model theory Propositional calculus Deduction Resolution First-order logic Interpretation Inference Deduction theorem Modal logic Logic Mathematical logic Automated theorem proving
774	CS109A Notes for LectureProperties of Binary Relations 1. Symmetry: aRb implies bRa. Example: Dene aR1 b i a + b is divisible by 3. R1 is symmetric. Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:58:27 Elementary mathematics Binary relation Congruence relation Equivalence class Partially ordered set Total order Equality Integer Finitary relation Mathematics Order theory Equivalence relation
775	Sommer-EditionE. von Goldammer & R. Kaehr [ * ] Problems of Autonomy and Discontexturality in the Theory of Living Systems Add to Reading List Source URL: www.vordenker.de Language: English - Date: 2007-07-30 09:49:49 Ethology Systems science Systems Control theory Autopoiesis Philosophy of mind Self-organization Second-order cybernetics Complexity Science Cybernetics Systems theory
776	American Economic Association Renegotiation-Proof Implementation and Time Preferences Author(s): Ariel Rubinstein and Asher Wolinsky Source: The American Economic Review, Vol. 82, No. 3 (Jun., 1992), ppPublish Add to Reading List Source URL: arielrubinstein.tau.ac.il Language: English - Date: 2013-08-23 01:36:52 Subgame Futures contract Option Extensive-form game Cover Order Economics Contract law Game theory Business
777	Metric Embeddings with Relaxed Guarantees Ittai Abraham∗ Yair Bartal∗ Jon Kleinberg‡ Add to Reading List Source URL: i.cs.hku.hk Language: English - Date: 2005-10-26 14:16:36 Category theory Differential topology Embedding General topology Order theory Planar graph Doubling measure Mathematics Topology Mathematical analysis
778	DEPARTMENT OF DEFENSE REQUIREMENTS FOR HIGH ORDER COMPUTER PROGRAMMING LANGUAGES ÒSTEELMANÓ Add to Reading List Source URL: www.adahome.com Language: English - Date: 1996-11-26 12:42:17 Type theory Primitive types Computer programming English grammar Shall and will Type system Programming language Constant Boolean data type Data types Software engineering Computing
779	A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended Version) Ricardo Corin and Jerry den Hartog {ricardo.corin,jerry.denhartog}@cs.utwente.nl Department of Computer Science, Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2006-04-26 14:51:39 Model theory Program logic Logic in computer science Predicate logic Hoare logic First-order logic Function Algorithm Probabilistic logic Mathematics Logic Mathematical logic
780	Epistemic Logic and its Applications: Tutorial Notes Ernest Davis∗ New York University New York, New York Leora Morgenstern Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2011-07-16 10:30:47 Logical syntax Model theory Philosophical logic Philosophy of language Modal logic Interpretation Epistemic modal logic First-order logic Entailment Logic Mathematical logic Propositional calculus

UPDATE